Ogives in Lava Streams
نویسندگان
چکیده
منابع مشابه
Ripples in the Ice: Employing ogives to deduce glacier behavior
Arcuate glacier structures known as ogives are common to valley glaciers flowing below large icefalls and form annually. Long sequences comprising tens of ogives are often preserved on glacier surfaces. We explore their utility as unique sources of information about glacier behavior. Our investigation concentrates on two main objectives: (1) to assess any correlation between an ogive train and ...
متن کاملEvaluating Exploratory Learning in LAVA
This paper reports on some initial experiences developing and evaluating a games-based approach to explorative learning. The approach adopted has particular relevance to subjects such as archaeology and geography that have scope for a significant fieldwork element, but which in practice are limited by the problems and costs associated with arranging real experience for potentially large numbers...
متن کاملBehavioural Circuit Design in Lava
The Haskell library Lava is great for describing the structure of digital circuits: large, regular circuits can be captured by short, clear descriptions. However, structural circuit description alone – and hence Lava – has a somewhat limited application domain. Many circuits are more appropriately expressed in terms of their desired behaviour. In this article, I present a Haskell library – call...
متن کاملDesigning FPGA Circuits in Lava
This paper explores the potential of the lazy functional programming language Haskell for the specification, synthesis and verification of digital circuits. Circuits are described using combinators that combine behaviour (allowing circuit simulation, symbolic evaluation and partial evaluation) and layout (allowing the generation of output suitable for entry into VLSI CAD tools). We call the sof...
متن کاملIntroducing Kansas Lava
Kansas Lava is a domain specific language for hardware description. Though there have been a number of previous implementations of Lava, we have found the design space rich, with unexplored choices. We use a direct (Chalmers style) specification of circuits, and make significant use of Haskell overloading of standard classes, leading to concise circuit descriptions. Kansas Lava supports both si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Glaciology
سال: 1953
ISSN: 0022-1430,1727-5652
DOI: 10.3189/s002214300002551x